Model checking

Results: 996



#Item
71

Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume

Add to Reading List

Source URL: www.cs.rhul.ac.uk

Language: English - Date: 2013-02-08 18:19:57
    72

    Exact Quantitative Probabilistic Model Checking Through Rational Search Matthew S. Bauer∗ , Umang Mathur∗ , Rohit Chadha† , A. Prasad Sistla‡ and Mahesh Viswanathan∗ ∗ University of Illinois at Urbana-Champa

    Add to Reading List

    Source URL: www.cs.utexas.edu

    Language: English - Date: 2017-09-26 08:06:21
      73

      Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk

      Add to Reading List

      Source URL: www.cs.bham.ac.uk.

      Language: English - Date: 2009-02-25 10:33:23
        74

        Model Checking DSL-Generated C Source Code Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de Abstract. We report on the application of SPIN for model-che

        Add to Reading List

        Source URL: www.home.hs-karlsruhe.de

        - Date: 2013-03-29 18:25:55
          75

          Model-checking Erlang A Comparison between EtomCRL2 and McErlang Qiang Guo, John Derrick Clara Benac Earle and Lars-˚ Ake Fredlund

          Add to Reading List

          Source URL: www2010.taicpart.org

          - Date: 2010-09-04 10:20:57
            76

            Progress on Algorithms for Stateless Model Checking (Invited Talk) Kostis Sagonas Uppsala University, Sweden

            Add to Reading List

            Source URL: refal.botik.ru

            - Date: 2018-03-21 12:44:11
              77

              Software Model Checking of Linux Device Drivers (Invited Talk) Alexey Khoroshilov Linux Verification Center, ISPRAS, Moscow, Russia

              Add to Reading List

              Source URL: refal.botik.ru

              - Date: 2017-03-12 03:19:31
                78

                Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers Andr´as Horv´ath, Marco Paolieri, Lorenzo Ridi, Enrico Vicario Universit`a di Torino - Universit`a d

                Add to Reading List

                Source URL: www-bcf.usc.edu

                - Date: 2013-07-22 06:44:02
                  UPDATE